عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
حول الموقع
اتصل بنا
نشأة
ورود / ثبت نام
تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۶,۴۵ ثانیه یافت شد.
1. 5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980
استناد
اطلاعات استناد دهی
BibTex (مخصوص کاربران)
RIS (مخصوص کاربران)
Endnote (مخصوص کاربران)
Refer (مخصوص کاربران)
Mark (مخصوص کاربران)
المؤلف:
edited by Wolfgang Bibel, Robert Kowalski.
المکتبة:
کتابخانه مطالعات اسلامی به زبان های اروپایی
(
قم
)
موضوع:
Computer Science,Computer science.,Mathematical Logic and Formal Languages
رده :
»
1
«
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح